Дискретная математика

Автоматы, грамматики и формальные языки